Model-Theoretic Forcing in Logic With a Generalized Quantifier
نویسندگان
چکیده
منابع مشابه
Model theoretic forcing in analysis
We present a framework for model theoretic forcing in a non-first-order context, and present some applications of this framework to Banach space theory.
متن کاملDependence logic with a majority quantifier
We study the extension of dependence logic D by a majority quantifier M over finite structures. Dependence logic [19] extends first-order logic by dependence atomic formulas =(t1, . . . , tn) the intuitive meaning of which is that the value of the term tn is completely determined by the values of t1, . . . , tn−1. While in first-order logic the order of quantifiers solely determines the depende...
متن کاملOn a Decidable Generalized Quantifier Logic Corresponding to a Decidable Fragment of First-Order Logic
Van Lambalgen (1990) proposed a translation from a language containing a generalized quantifier Q into a first-order language enriched with a family of predicates Rs, for every arity i (or an infinitary predicate R) which takes Qz~(z, yl, . . . , y,~) to Vz(R(z, yl,..., g,~) --" ~b(x, Yl,..., Y,~)) (gl . . . . . g~ are precisely the free variables of Qzq~). The logic of Q (without ordinary quan...
متن کاملQuantifier Elimination and Other Model-Theoretic Properties of BL-Algebras
This work presents a model-theoretic approach to the study of firstorder theories of classes of BL-chains. Among other facts, we present several classes of BL-algebras, generating the whole variety of BL-algebras, whose firstorder theory has quantifier elimination. Model-completeness and decision problems are also investigated. Then we investigate classes of BL-algebras having (or not having) t...
متن کاملA Generalized Graph-Theoretic Mesh Optimization Model
This paper presents a generic approach to mesh global optimization via node movement, based on a discrete graph-theoretic model. Mesh is considered as an electric system with lumped parameters, governed by the Kirchhoff’s voltage and circuit laws. Each mesh element is treated as a multi-pole electric component, relating input electric potentials to the output via a transfer function. We automat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematical Logic
سال: 1978
ISSN: 0003-4843
DOI: 10.1016/s0003-4843(78)80001-1